Merge pull request #1050 from davidcunado-arm/dc/update_changelog
authordavidcunado-arm <david.cunado@arm.com>
Fri, 4 Aug 2017 13:09:27 +0000 (14:09 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Aug 2017 13:09:27 +0000 (14:09 +0100)
Fix to change.log


Trivial merge